例句與造句

1. Probably the first formal treatment of logic for computability is the " realizability interpretation " by Stephen Kleene in 1945, who gave an interpretation of intuitionistic number theory in terms of Turing machine computations.
2. With the rise of many other kinds of logic, such as modal logic and linear logic, and novel semantic models, such as game semantics, logics for computability have been formulated in several contexts.
3. It's difficult to find logics for computability in a sentence. 用logics for computability造句挺難的